[網(wǎng)絡(luò)] 二階謂詞演算 second-order predicate calculus: 二階謂詞演算first order predicate calculus: 一階謂詞演算first-order predicate calculus: 一階謂詞演算high-order predicate calculus: 高階謂詞演算higher order predicate calculus: 高階謂詞演算下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯